Merge pull request #6170 from MikePetullo/krb5
authorHannu Nyman <[email protected]>
Sun, 3 Jun 2018 06:47:10 +0000 (09:47 +0300)
committerGitHub <[email protected]>
Sun, 3 Jun 2018 06:47:10 +0000 (09:47 +0300)
krb5: set replay cache directory to /tmp


Trivial merge